(g,n,e,z. n x(*;e) e)  g:IMonoid|g|(True)|g| 

latex

Up	groups 1
Definitions of Statement	IMonoid
Definitions	t  T, , x:A. B(x), T, IMonoid
Lemmas	imon wf, nat wf, grp car wf, true wf, squash wf, nat op wf